Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
91	PDF Document Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2012-03-31 10:17:14 Software development Specification Formal specification Modeling language Software development process Java Modeling Language Verification and validation Data model Service-oriented architecture Science Formal methods Technology
92	NATSPEC Paper April 2015 Specification Writing Selecting and specifying the most appropriate materials and systems for a project to meet Add to Reading List Source URL: natspec.com.au Language: English - Date: 2015-04-21 02:45:12 Software engineering Product development Quality Specification Technology Evaluation Software development process Formal specification Software Requirements Specification Formal methods Standards Science
93	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
94	S pecifying A rchitectur e John Gelder a guide t o pr ofessional pr actice Add to Reading List Source URL: natspec.com.au Language: English - Date: 2014-06-25 19:41:11 Quality Specification Technical communication Architecture Construction Formal specification Quantity surveyor User interface specification Software Requirements Specification Standards Technology Product development
95	Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving
96	Validation Workshop on GIFMIS Functional Requirements 21 May, 2013 Following the formal adoption of GIFMIS Conceptual Design by the PFM Committee in April 2013, a series of validation workshops with various PFM stakehold Add to Reading List Source URL: pfm.gov.ph Language: English - Date: 2013-12-16 01:05:24 Validity Software documentation Validation Requirement Technology Functional specification Functional requirement Brief Business Software requirements Systems engineering Pharmaceutical industry
97	Specification of Web Services Sudhir Agarwal and Anupriya Ankolekar Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe (TH), Germany Transparency of business processes is cri Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:42:56 Process calculi Π-calculus Calculus Control theory Function Mathematics Theoretical computer science Applied mathematics
98	Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:22 Formal methods Applied mathematics Process Planning Process state Formal verification Blocking Domain-specific language Formal specification Computing Concurrent computing Scheduling
99	NOT PROTECTIVELY MARKED Office for Nuclear Regulation An agency of HSE ONR GUIDE Add to Reading List Source URL: www.onr.org.uk Language: English - Date: 2014-03-31 18:53:18 Risk Systems engineering Quality Formal methods IEC 61508 Functional Safety Software development process Specification Validation Safety Security Prevention
100	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic

UPDATE